Blog posts with tag "canonical structures"
- Canonical Structures in Agda using REWRITE2015-08-05
- Currying using Canonical Structures2015-07-28
Tags cloud
datatype (3) functional programming (7) haskell (2) Agda (10) reflection (3) canonical structures (2) universe (2) coq (2) type safety (2) dependent types (2) binders (2) lambda calculus (3)Last update: 2024 04
